*** empty log message ***

diff --git a/src/ChangeLog b/src/ChangeLog
index 39b0f4f7fb414d492097a3048661ee076b077811..93914d0881579dee0cf8dd94344e2987fcaab090 100644 (file)
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,5 +1,8 @@
 2000-12-05  Gerd Moellmann  <gerd@gnu.org>
 
+       * keyboard.c (record_char): Don't record identical help-echo
+       events in recent_keys.
+
        * xterm.c [USE_X_TOOLKIT]: Close the display.
        (xim_close_dpy): Handle case that the display has been closed.